pre, code
{
	font-family: courier new, monospace;
	font-size: small;
}

code.keyword
{
	color: blue;
}

code.operator
{
	color: purple;
}

code.header
{
	color: green;
}

code.comment
{
	color: brown;
}

dt, dd
{
	margin-bottom: 3px;
}

/* Helper classes */

.sub-box
{
	border: 1px black solid;
	background-color: white;
}

.rounded-corners
{
	-moz-border-radius: 15px;		/* Firefox */
	-webkit-border-radius: 15px;	/* Safari, Chrome */
	border-radius: 15px;			/* CSS3 */
}

table.definitions
{
	cell-padding: 4px;
	text-align: left;
	background-color: Gainsboro;
}

.definitions th
{
	vertical-align: top;
	text-align: right;
}

.definitions dt
{
	font-weight: bold;
}

/* Tab-header configuration */

table.tabs-header
{
	background-color: #eee;
}

.tabs-header td
{
	border: 1px solid #bbb;
	border-bottom-width: 0px;
	font-size: large;
}

.tabs-header td.selected
{
	position: relative;
	top: 1px;
	font-weight: bold;
	background-color: white;
	border-color: black;
}

.tabs-header a
{
	color: blue;
	text-decoration: none;
}

.tabs-header a:hover
{
	background: #ddf;
}
